go/types.Checker.verify (method)

4 uses

	go/types (current package)
		call.go#L158: 		if i, err := check.verify(pos, tparams, targs, check.context()); err != nil {
		instantiate.go#L68: 		if i, err := (*Checker)(nil).verify(nopos, tparams, targs, ctxt); err != nil {
		instantiate.go#L212: func (check *Checker) verify(pos token.Pos, tparams []*TypeParam, targs []Type, ctxt *Context) (int, error) {
		typexpr.go#L489: 			if i, err := check.verify(ix.Pos(), inst.TypeParams().list(), targs, check.context()); err != nil {

The pages are generated with Golds v0.7.6. (GOOS=linux GOARCH=amd64)